A Hybrid Structured Object and Constraint Representation Language

نویسنده

  • David R. Harris
چکیده

SOCLE is a hybrid representation system in which cells of constraints are identified with slots of frame networks. Constraint formulas are maintained with respect to slots in frame networks and in turn provide for the dependency regulation of values on the frames. This paper illustrates the use of SOCLE and outlines the control structure decisions made for its design and implementation.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Identity and Representation through Language in Ghana: The Postcolonial Self and the Other

Research related to colonialism and post colonialism shows how the identities of indigenous people were constructed and how these identities are reconstructed in our contemporary world. The thrust of this paper is that colonialism brought a shift in the linguistic structure of Ghana with the introduction of the use of English among Ghanaians. The coexistence of both Ghanaian languages and Engli...

متن کامل

A Hybrid Constraint Representation and Reasoning Framework

This paper introduces JNET, a novel constraint representation and reasoning framework that supports procedural constraints and constraint attachments, providing a flexible way of integrating the constraint reasoner with a runtime software environment. Attachments in JNET are constraints over arbitrary Java objects, which are defined using Java code, at runtime, with no changes to the JNET sourc...

متن کامل

2 An Approach for Solid Modelling in a Virtual Reality Environment

With today’s Virtual Reality (VR) systems, it is difficult to directly and precisely create and modify objects in a VR environment. This chapter presents an approach for solid modelling in a VR environment. Solid modelling in the VR environment is performed precisely in an intuitive manner through constraint-based manipulations. A hierarchically structured and constraint-based data model is dev...

متن کامل

TaxLog: A Flexible Architecture for Logic Programming with Structured Types and Constraints

We will present the idea of a new logic programming language TaxLog. TaxLog incorporates the relational with the object-centered programming paradigm. It integrates deenite function-free horn clauses at the one and a terminological system at the other side. The terminological logic is parametrized by concrete domains, our name for a special class of constraint solvers. We will emphasize the lay...

متن کامل

Ozone: Integrating Structured and Semistructured Data

Applications have an increasing need to manage semistructured data (such as data encoded in XML) along with conventional structured data. We extend the structured object database model ODMG and its query language OQL with the ability to handle semistructured data based on the OEM model and Lorel language, and we implement our extensions in a system called Ozone. In our approach, structured data...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1986